Sexless and beautiful data: from quantity to quality

From Quantity to Quality

In temporal-logic model checking, we verify the correctness of a program with respect to a desired behavior by checking whether a structure that models the program satis es a temporal-logic formula that speci es the behavior. The model-checking problem for the branching-time temporal logic CTL can be solved in linear running time, and model-checking tools for CTL are used successfully in indust...

Cool data: quantity AND quality.

The use of cryo-techniques in macromolecular crystallography has increased enormously over the last eight years and has become a vital part of modern X-ray data-collection methods. This paper presents some reasons for the rise in popularity of cryo-techniques and a brief outline of the basic methods, followed by a detailed discussion of factors to be considered when trying to optimize both the ...

Big Data Quality: From Content to Context

Over the last 20 years, and particularly with the advent of Big Data and analytics, the research area around Data and Information Quality (DIQ) is still a fast growing research area. There are many views and streams in DIQ research, generally aiming at improving the effectiveness of decision making in organizations. Although there are a lot of researches aimed at clarifying the role of BIG data...

FROM QUANTITY TO QUALITY Cognitive, motivational and social aspects of creative idea generation and selection FROM QUANTITY TO QUALITY

construction and validation of translation metacognitive strategy questionnaire and its application to translation quality

like any other learning activity, translation is a problem solving activity which involves executing parallel cognitive processes. the ability to think about these higher processes, plan, organize, monitor and evaluate the most influential executive cognitive processes is what flavell (1975) called “metacognition” which encompasses raising awareness of mental processes as well as using effectiv...